7

Polytypic data conversion programs

Year:
2002
Language:
english
File:
PDF, 378 KB
english, 2002
9

Proofs for free

Year:
2012
Language:
english
File:
PDF, 1.11 MB
english, 2012
13

Fast and loose reasoning is morally correct

Year:
2006
Language:
english
File:
PDF, 255 KB
english, 2006
29

Testing type class laws

Year:
2013
Language:
english
File:
PDF, 504 KB
english, 2013
35

Polytypic unification

Year:
1998
Language:
english
File:
PDF, 167 KB
english, 1998
47

Embedded parser generators

Year:
2012
Language:
english
File:
PDF, 693 KB
english, 2012